2

A sharpened version of McAloon's theorem on initial segments of models of IΔ0

Year:
1993
Language:
english
File:
PDF, 1012 KB
english, 1993
3

Δ0-complexity of the relation y = Πi ⩽ nF(i)

Year:
1995
Language:
english
File:
PDF, 484 KB
english, 1995
8

On the value group of a model of Peano Arithmetic

Language:
english
File:
PDF, 613 KB
english
9

From Schanuel’s Conjecture to Shapiro’s Conjecture

Year:
2014
Language:
english
File:
PDF, 201 KB
english, 2014
12

Quotient Fields of a Model of IΔ0 + Ω1

Year:
2001
Language:
english
File:
PDF, 179 KB
english, 2001
15

A note on the decidability of exponential terms

Year:
2007
Language:
english
File:
PDF, 127 KB
english, 2007
16

Pell equations and exponentiation in fragments of arithmetic

Year:
1996
Language:
english
File:
PDF, 1.97 MB
english, 1996
17

Quadratic forms in models of . I

Year:
2007
Language:
english
File:
PDF, 389 KB
english, 2007
18

Quadratic forms in models of , Part II: Local equivalence

Year:
2011
Language:
english
File:
PDF, 283 KB
english, 2011
22

Non-standard finite fields overIΔ0+Ω1

Year:
2000
Language:
english
File:
PDF, 1002 KB
english, 2000
23

Limit computable integer parts

Year:
2011
Language:
english
File:
PDF, 209 KB
english, 2011
47

Erratum to: Limit computable integer parts

Year:
2015
Language:
english
File:
PDF, 123 KB
english, 2015
49

Solving Pell equations locally in models of IΔ0

Year:
1998
Language:
english
File:
PDF, 611 KB
english, 1998
50

Local behaviour of the Chebyshev theorem in models of I⊿0

Year:
1992
Language:
english
File:
PDF, 975 KB
english, 1992